Spinning Fast Iterative Data Flows Stephan Ewen 1 1,2,4 Kostas Tzoumas 2

Source URL: stratosphere.eu

• Compiler optimizations
• Fractals
• Iteration
• Project management
• Time management
• PageRank
• Data-flow analysis
• Mathematical optimization
• Directed acyclic graph
• Algorithm
• RochaThatte cycle detection algorithm
• BMDFM

HI-CFG: Construction by Binary Analysis, and Application to Attack Polymorphism Dan Caselden1 , Alex Bazhanyuk2 , Mathias Payer3 , Stephen McCamant4 , and Dawn Song3 1

Source URL: hexhive.github.io

• Computing
• Software engineering
• Memory management
• Software
• Computer memory
• Program analysis
• Control flow graph
• Data-flow analysis
• Data buffer
• C dynamic memory allocation
• Stack
• Call stack

Transformation-aware Exploit Generation using a HICFG Dan Caselden Alex Bazhanyuk Mathias Payer Laszlo Szekeres

Source URL: hexhive.github.io

• Computer memory
• Computing
• Software bugs
• Software engineering
• Cyberwarfare
• Buffer overflow
• Program analysis
• Control flow graph
• Data buffer
• Data-flow analysis
• Vulnerability

Designing Aircraft Photograph courtesy of NASA Ames Data Analysis Group. The flow of air (and water) has been studied for over a hundred years, but only recently have mathematicians begun

Source URL: msc2010.org

Control Flow Obfuscation with Information Flow Tracking∗ Haibo Chen, Liwei Yuan, Xi Wu, Binyu Zang Parallel Processing Institute Fudan University

Source URL: ipads.se.sjtu.edu.cn

• Computing
• Software engineering
• Computer programming
• Compiler construction
• Control flow
• Obfuscation
• Source code
• Programming language implementation
• Opaque predicate
• Control flow graph
• Data-flow analysis
• Exception handling

Opening the Black Boxes in Data Flow Optimization †4 Fabian Hueske*1 Mathias Peters†2 Matthias J. Sax†3 Astrid Rheinlander

Source URL: stratosphere.eu

• Software engineering
• Computer programming
• Computing
• Functional analysis
• Distributed computing architecture
• Parallel computing
• Parallelization contract
• Relational database
• Restriction
• Relational model
• Operator
• Higher-order function

Accelerating Dynamic Detection of Uses of Undefined Values with Static Value-Flow Analysis Ding Ye, Yulei Sui, Jingling Xue Programming Languages and Compilers Group School of Computer Science and Engineering Click to ed

Source URL: cgo.org

• Data types
• Procedural programming languages
• C++
• Object-oriented programming languages
• Theory of computation
• Undefined value
• Const
• Valgrind
• Undefined
• Reference
• ALGOL 68
• Pointer

Scalable Array SSA and Array Data Flow Analysis Silvius Rus, Guobin He, and Lawrence Rauchwerger Parasol Lab, Department of Computer Science, Texas A&M University {silviusr,guobinh,rwerger}@cs.tamu.edu

Source URL: www.ece.lsu.edu

Simulation of Built-in PHP Features for Precise Static Code Analysis Johannes Dahse Thorsten Holz

Source URL: syssec.rub.de

• Software engineering
• Computing
• Computer programming
• Scripting languages
• Data types
• Cross-platform software
• Object-oriented programming languages
• Functional languages
• RIPS
• PHP
• Data-flow analysis
• Scope

Precise Data Flow Analysis in the Presence of Correlated Method Calls Marianna Rapoport1(B) , Ondˇrej Lhot´ ak1 , and Frank Tip2 1

Source URL: plg.uwaterloo.ca